Run-Time Security Traceability for Evolving Systems
نویسندگان
چکیده
منابع مشابه
Run-Time Security Traceability for Evolving Systems
(2011). Run-time security traceability for evolving systems. Security-critical systems are challenging to design and implement correctly and securely. A lot of vulnerabilities have been found in current software systems both at the specification and the implementation levels. This paper presents a comprehensive approach for model-based security assurance. Initially, it allows one to formally ve...
متن کاملRun-Time Security Traceability for Evolving Systems1
Security-critical systems are challenging to design and implement correctly and securely. A lot of vulnerabilities have been found in current software systems both at the specification and the implementation levels. This paper presents a comprehensive approach for model-based security assurance. Initially, it allows one to formally verify the design models against high-level security requiremen...
متن کاملTesting Run-time Evolving Systems
Computer systems undergoing runtime evolution, such as online software-upgrades or architectural reconfigurations, must cope with changes that happen during the system execution and that might be unpredictable at design-time. The evolution requires a sequence of transition phases, where the system enters configurations emerging at runtime that could not have been validated in advance. Reasoning...
متن کاملDRASTIC: A Run-Time Architecture for Evolving, Distributed, Persistent Systems
Modern systems must be adaptable | to changing requirements, bugxes, new technologies and recon guration. For critical applications this must be possible at run-time; for complex applications it should be limitable to major sub-divisions of the system. The DRASTIC architecture addresses these goals by exploiting object persistence and distributed systems implementation techniques. It enables ru...
متن کاملRun-Time Guarantees for Real-Time Systems
Interpretation (AI) • AI: semantics based method for static program analysis • Basic idea of AI: Perform the program's computations using value descriptions or abstract value in place of the concrete values • Basic idea in WCET: Derive timing information from an approximation of the “collecting semantics” (for all inputs) • AI supports correctness proofs • Tool support (PAG)
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 2010
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/bxq042